Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 277, 278, 279, 280, 281, 282, 283, 288, 289, 290, 291, 293, 294 }

B grade: { 1, 42, 43 }

C grade: { 276, 284, 285, 286, 287, 292 }

F grade: { }

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 14, 17, 22, 39, 40, 41, 44, 51, 52, 53, 54, 55, 56, 66, 68, 73, 78, 80, 85, 90, 92, 97, 102, 103, 104, 105, 110, 115, 116, 117, 122, 127, 128, 129, 134, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 275, 276, 277, 278 }

B grade: { 9, 10, 11, 12, 15, 16, 18, 19, 20, 23, 24, 42, 43, 67, 69, 70, 71, 72, 74, 75, 76, 77, 79, 81, 82, 83, 84, 86, 87, 88, 89, 91, 93, 94, 95, 96, 98, 99, 100, 101, 106, 107, 108, 111, 112, 113, 114, 118, 119, 120, 121, 123, 124, 125, 126, 130, 131, 132, 133, 135, 136, 137, 138, 139, 274 }

C grade: { 13, 21, 45, 46, 47, 48, 49, 50, 109 }

F grade: { 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 57, 58, 59, 60, 61, 62, 63, 64, 65, 156, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294 }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 39, 40, 41, 51, 52, 53, 54, 55, 56, 140, 141, 142, 143, 144, 146, 150, 151, 152, 153, 154, 156, 160, 161, 162, 163, 164, 165, 167, 171, 172, 173, 174, 175, 176, 182, 183, 184, 185, 186, 192, 193, 194, 195, 196, 261, 262, 265, 266, 267, 270, 271, 272, 275, 276

B grade: { 42, 43, 44, 145, 147, 148, 149, 155, 157, 158, 159, 166, 168, 169, 170, 177, 178, 179, 180, 181, 187, 188, 189, 190, 191, 197, 198, 199, 200, 201 }

C grade: { }

F grade: { 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 45, 46, 47, 48, 49, 50, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 263, 264, 268, 269, 273, 274, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 39, 40, 41, 43, 44, 51, 52, 53, 54, 55, 56, 64, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 261, 262, 265, 266, 267, 270 }

B grade: { 42, 271, 272, 275, 276 }

C grade: { }

F grade: { 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 45, 46, 47, 48, 49, 50, 57, 58, 59, 60, 61, 62, 63, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 263, 264, 268, 269, 273, 274, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294 }

2.1.6 Sympy

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 41, 64, 143, 144, 176 }

B grade: { }

C grade: { }

F grade: { 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294 }

2.1.7 Giac

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 39, 40, 41, 43, 51, 52, 53, 56, 143, 261, 265, 266, 267, 270, 271, 275 }

B grade: { 44, 64, 262 }

C grade: { }

F grade: { 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 42, 45, 46, 47, 48, 49, 50, 54, 55, 57, 58, 59, 60, 61, 62, 63, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 263, 264, 268, 269, 272, 273, 274, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)










Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 10 10 21 11 14 22 12 14
normalized size 1 1. 2.1 1.1 1.4 2.2 1.2 1.4
time (sec) N/A 0.004 0.008 0.022 1.187 1.335 0.124 1.177


















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 23 27 30 55 46 24
normalized size 1 1. 0.92 1.08 1.2 2.2 1.84 0.96
time (sec) N/A 0.009 0.022 0.026 1.318 1.36 0.218 1.2


















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 26 22 30 55 36 30
normalized size 1 1. 1. 0.85 1.15 2.12 1.38 1.15
time (sec) N/A 0.011 0.008 0.028 1.337 1.574 0.476 1.329


















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 33 38 45 89 95 43
normalized size 1 1. 0.72 0.83 0.98 1.93 2.07 0.93
time (sec) N/A 0.021 0.038 0.027 1.386 1.648 1.012 1.299


















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 41 32 46 85 58 46
normalized size 1 1. 1. 0.78 1.12 2.07 1.41 1.12
time (sec) N/A 0.013 0.014 0.027 1.49 1.642 2.004 1.261


















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 43 48 65 120 139 62
normalized size 1 1. 0.64 0.72 0.97 1.79 2.07 0.93
time (sec) N/A 0.033 0.038 0.027 1.443 1.641 3.827 1.188


















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 54 42 59 112 78 59
normalized size 1 1. 1. 0.78 1.09 2.07 1.44 1.09
time (sec) N/A 0.016 0.013 0.026 1.639 1.689 6.884 1.519


















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 55 58 80 153 184 81
normalized size 1 1. 0.62 0.66 0.91 1.74 2.09 0.92
time (sec) N/A 0.047 0.055 0.026 1.635 1.439 12.022 1.386


















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 51 199 0 0 0 0
normalized size 1 1. 0.78 3.06 0. 0. 0. 0.
time (sec) N/A 0.032 0.11 2.068 0. 0. 0. 0.


















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 40 202 0 0 0 0
normalized size 1 1. 0.95 4.81 0. 0. 0. 0.
time (sec) N/A 0.018 0.05 1.908 0. 0. 0. 0.


















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 36 179 0 0 0 0
normalized size 1 1. 0.86 4.26 0. 0. 0. 0.
time (sec) N/A 0.018 0.043 1.506 0. 0. 0. 0.


















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 133 0 0 0 0
normalized size 1 1. 1. 8.31 0. 0. 0. 0.
time (sec) N/A 0.009 0.019 1.359 0. 0. 0. 0.


















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 18 0 0 0 0
normalized size 1 1. 1. 1.12 0. 0. 0. 0.
time (sec) N/A 0.009 0.031 0.037 0. 0. 0. 0.


















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 38 101 0 0 0 0
normalized size 1 1. 1. 2.66 0. 0. 0. 0.
time (sec) N/A 0.018 0.053 1.684 0. 0. 0. 0.


















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 36 213 0 0 0 0
normalized size 1 1. 0.86 5.07 0. 0. 0. 0.
time (sec) N/A 0.018 0.06 2.024 0. 0. 0. 0.


















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 59 358 0 0 0 0
normalized size 1 1. 0.91 5.51 0. 0. 0. 0.
time (sec) N/A 0.029 0.093 3.014 0. 0. 0. 0.


















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 76 210 0 0 0 0
normalized size 1 1. 0.78 2.14 0. 0. 0. 0.
time (sec) N/A 0.059 0.092 2.047 0. 0. 0. 0.


















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 62 213 0 0 0 0
normalized size 1 1. 0.89 3.04 0. 0. 0. 0.
time (sec) N/A 0.036 0.084 1.855 0. 0. 0. 0.


















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 58 190 0 0 0 0
normalized size 1 1. 0.83 2.71 0. 0. 0. 0.
time (sec) N/A 0.037 0.046 1.884 0. 0. 0. 0.


















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 38 142 0 0 0 0
normalized size 1 1. 1. 3.74 0. 0. 0. 0.
time (sec) N/A 0.022 0.019 1.457 0. 0. 0. 0.


















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 38 54 0 0 0 0
normalized size 1 1. 1. 1.42 0. 0. 0. 0.
time (sec) N/A 0.023 0.025 0.204 0. 0. 0. 0.


















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 50 168 0 0 0 0
normalized size 1 1. 0.74 2.47 0. 0. 0. 0.
time (sec) N/A 0.036 0.03 2.045 0. 0. 0. 0.


















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 51 241 0 0 0 0
normalized size 1 1. 0.71 3.35 0. 0. 0. 0.
time (sec) N/A 0.035 0.059 1.763 0. 0. 0. 0.


















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 68 366 0 0 0 0
normalized size 1 1. 0.68 3.66 0. 0. 0. 0.
time (sec) N/A 0.056 0.095 3.175 0. 0. 0. 0.


















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 53 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.013 0.058 0.112 0. 0. 0. 0.


















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 53 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.012 0.033 0.167 0. 0. 0. 0.


















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 53 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.012 0.029 0.157 0. 0. 0. 0.


















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 53 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.012 0.025 0.151 0. 0. 0. 0.


















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 51 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.012 0.025 0.139 0. 0. 0. 0.


















Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 51 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.012 0.026 0.111 0. 0. 0. 0.


















Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 55 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.014 0.049 0.114 0. 0. 0. 0.


















Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 55 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.015 0.038 0.191 0. 0. 0. 0.


















Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 55 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.015 0.037 0.167 0. 0. 0. 0.


















Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 55 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.015 0.041 0.158 0. 0. 0. 0.


















Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 53 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.015 0.044 0.155 0. 0. 0. 0.


















Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 53 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.025 0.041 0.115 0. 0. 0. 0.


















Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 64 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.017 0.046 0.368 0. 0. 0. 0.


















Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 64 0 0 0 0 0
normalized size 1 1. 0.93 0. 0. 0. 0. 0.
time (sec) N/A 0.02 0.044 0.447 0. 0. 0. 0.


















Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 36 32 42 107 0 46
normalized size 1 1. 0.68 0.6 0.79 2.02 0. 0.87
time (sec) N/A 0.039 0.019 0.628 2.347 1.123 0. 1.403


















Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 26 24 23 74 0 23
normalized size 1 1. 0.76 0.71 0.68 2.18 0. 0.68
time (sec) N/A 0.027 0.009 0.605 2.559 1.046 0. 1.417


















Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 13 13 13 15 8 43 19 12
normalized size 1 1. 1. 1.15 0.62 3.31 1.46 0.92
time (sec) N/A 0.011 0.004 0.337 2.322 1.071 0.577 1.232


















Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B B B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 46 48 51 182 0 0
normalized size 1 1. 2.88 3. 3.19 11.38 0. 0.
time (sec) N/A 0.014 0.018 0.708 2.676 1.178 0. 0.


















Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B B A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 91 70 410 124 0 59
normalized size 1 1. 2.17 1.67 9.76 2.95 0. 1.4
time (sec) N/A 0.022 0.064 1.105 2.33 1.145 0. 1.789


















Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 72 89 1260 151 0 170
normalized size 1 1. 1.18 1.46 20.66 2.48 0. 2.79
time (sec) N/A 0.044 0.157 1.112 3.661 1.146 0. 1.569


















Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 61 114 0 0 0 0
normalized size 1 1. 0.52 0.97 0. 0. 0. 0.
time (sec) N/A 0.066 0.12 0.301 0. 0. 0. 0.


















Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 50 198 0 0 0 0
normalized size 1 1. 0.75 2.96 0. 0. 0. 0.
time (sec) N/A 0.041 0.065 0.254 0. 0. 0. 0.


















Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 37 76 0 0 0 0
normalized size 1 1. 0.84 1.73 0. 0. 0. 0.
time (sec) N/A 0.028 0.025 0.262 0. 0. 0. 0.


















Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 31 191 0 0 0 0
normalized size 1 1. 0.74 4.55 0. 0. 0. 0.
time (sec) N/A 0.023 0.021 0.333 0. 0. 0. 0.


















Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 44 87 0 0 0 0
normalized size 1 1. 0.62 1.23 0. 0. 0. 0.
time (sec) N/A 0.03 0.059 0.289 0. 0. 0. 0.


















Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 57 223 0 0 0 0
normalized size 1 1. 0.49 1.91 0. 0. 0. 0.
time (sec) N/A 0.051 0.105 0.423 0. 0. 0. 0.


















Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 132 132 53 57 115 200 0 77
normalized size 1 1. 0.4 0.43 0.87 1.52 0. 0.58
time (sec) N/A 0.051 0.123 0.295 2.473 1.161 0. 1.399


















Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 38 41 74 128 0 34
normalized size 1 1. 0.49 0.53 0.95 1.64 0. 0.44
time (sec) N/A 0.032 0.069 0.162 2.312 1.081 0. 1.427


















Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 25 22 30 69 0 18
normalized size 1 1. 0.69 0.61 0.83 1.92 0. 0.5
time (sec) N/A 0.015 0.014 0.192 2.428 1.049 0. 1.557


















Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 14 8 51 0 0
normalized size 1 1. 1. 0.93 0.53 3.4 0. 0.
time (sec) N/A 0.014 0.006 0.181 2.059 1.028 0. 0.


















Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 30 29 30 101 0 0
normalized size 1 1. 0.45 0.43 0.45 1.51 0. 0.
time (sec) N/A 0.021 0.028 0.114 1.899 1.042 0. 0.


















Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 47 41 46 147 0 46
normalized size 1 1. 0.4 0.35 0.39 1.26 0. 0.39
time (sec) N/A 0.032 0.052 0.165 1.883 1.085 0. 1.303


















Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 72 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.035 0.061 0.274 0. 0. 0. 0.


















Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 74 0 0 0 0 0
normalized size 1 1. 0.83 0. 0. 0. 0. 0.
time (sec) N/A 0.04 0.173 0.419 0. 0. 0. 0.


















Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 72 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.039 0.119 0.2 0. 0. 0. 0.


















Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 68 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.039 0.07 0.239 0. 0. 0. 0.


















Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 72 0 0 0 0 0
normalized size 1 1. 0.9 0. 0. 0. 0. 0.
time (sec) N/A 0.047 0.075 0.2 0. 0. 0. 0.


















Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 72 0 0 0 0 0
normalized size 1 1. 0.81 0. 0. 0. 0. 0.
time (sec) N/A 0.047 0.106 0.192 0. 0. 0. 0.


















Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 74 0 0 0 0 0
normalized size 1 1. 0.83 0. 0. 0. 0. 0.
time (sec) N/A 0.045 0.106 0.197 0. 0. 0. 0.


















Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 24 0 0 32 65 405
normalized size 1 1. 1. 0. 0. 1.33 2.71 16.88
time (sec) N/A 0.02 0.03 0.26 0. 1.049 1.542 8.073


















Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 74 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.046 0.057 0.289 0. 0. 0. 0.


















Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 83 234 0 0 0 0
normalized size 1 1. 0.67 1.9 0. 0. 0. 0.
time (sec) N/A 0.09 0.22 1.885 0. 0. 0. 0.


















Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 75 221 0 0 0 0
normalized size 1 1. 0.77 2.28 0. 0. 0. 0.
time (sec) N/A 0.069 0.154 1.934 0. 0. 0. 0.


















Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 73 208 0 0 0 0
normalized size 1 1. 0.77 2.19 0. 0. 0. 0.
time (sec) N/A 0.066 0.145 2.051 0. 0. 0. 0.


















Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 62 211 0 0 0 0
normalized size 1 1. 0.9 3.06 0. 0. 0. 0.
time (sec) N/A 0.041 0.062 1.817 0. 0. 0. 0.


















Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 61 188 0 0 0 0
normalized size 1 1. 0.91 2.81 0. 0. 0. 0.
time (sec) N/A 0.043 0.064 1.864 0. 0. 0. 0.


















Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 38 142 0 0 0 0
normalized size 1 1. 1. 3.74 0. 0. 0. 0.
time (sec) N/A 0.02 0.023 1.457 0. 0. 0. 0.


















Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 39 142 0 0 0 0
normalized size 1 1. 1. 3.64 0. 0. 0. 0.
time (sec) N/A 0.029 0.031 1.5 0. 0. 0. 0.


















Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 48 166 0 0 0 0
normalized size 1 1. 0.76 2.63 0. 0. 0. 0.
time (sec) N/A 0.055 0.054 1.892 0. 0. 0. 0.


















Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 49 239 0 0 0 0
normalized size 1 1. 0.7 3.41 0. 0. 0. 0.
time (sec) N/A 0.057 0.078 1.944 0. 0. 0. 0.


















Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 69 363 0 0 0 0
normalized size 1 1. 0.73 3.82 0. 0. 0. 0.
time (sec) N/A 0.073 0.233 2.887 0. 0. 0. 0.


















Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 69 396 0 0 0 0
normalized size 1 1. 0.7 4.04 0. 0. 0. 0.
time (sec) N/A 0.072 0.194 1.804 0. 0. 0. 0.


















Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 79 412 0 0 0 0
normalized size 1 1. 0.64 3.35 0. 0. 0. 0.
time (sec) N/A 0.097 0.211 3.457 0. 0. 0. 0.


















Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 126 83 236 0 0 0 0
normalized size 1 1. 0.66 1.87 0. 0. 0. 0.
time (sec) N/A 0.086 0.2 1.842 0. 0. 0. 0.


















Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 75 223 0 0 0 0
normalized size 1 1. 0.79 2.35 0. 0. 0. 0.
time (sec) N/A 0.06 0.1 1.695 0. 0. 0. 0.


















Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 73 210 0 0 0 0
normalized size 1 1. 0.74 2.14 0. 0. 0. 0.
time (sec) N/A 0.061 0.1 1.868 0. 0. 0. 0.


















Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 65 213 0 0 0 0
normalized size 1 1. 0.97 3.18 0. 0. 0. 0.
time (sec) N/A 0.039 0.098 1.779 0. 0. 0. 0.


















Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 58 190 0 0 0 0
normalized size 1 1. 0.83 2.71 0. 0. 0. 0.
time (sec) N/A 0.033 0.015 2.003 0. 0. 0. 0.


















Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 39 144 0 0 0 0
normalized size 1 1. 1. 3.69 0. 0. 0. 0.
time (sec) N/A 0.029 0.015 1.563 0. 0. 0. 0.


















Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 41 144 0 0 0 0
normalized size 1 1. 1. 3.51 0. 0. 0. 0.
time (sec) N/A 0.038 0.024 1.359 0. 0. 0. 0.


















Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 66 66 50 168 0 0 0 0
normalized size 1 1. 0.76 2.55 0. 0. 0. 0.
time (sec) N/A 0.054 0.056 1.958 0. 0. 0. 0.


















Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 51 241 0 0 0 0
normalized size 1 1. 0.71 3.35 0. 0. 0. 0.
time (sec) N/A 0.054 0.068 2.011 0. 0. 0. 0.


















Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 69 364 0 0 0 0
normalized size 1 1. 0.7 3.71 0. 0. 0. 0.
time (sec) N/A 0.074 0.125 3.349 0. 0. 0. 0.


















Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 69 398 0 0 0 0
normalized size 1 1. 0.69 3.98 0. 0. 0. 0.
time (sec) N/A 0.073 0.129 1.856 0. 0. 0. 0.


















Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 126 79 414 0 0 0 0
normalized size 1 1. 0.63 3.29 0. 0. 0. 0.
time (sec) N/A 0.095 0.19 3.475 0. 0. 0. 0.


















Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 125 125 83 236 0 0 0 0
normalized size 1 1. 0.66 1.89 0. 0. 0. 0.
time (sec) N/A 0.08 0.195 2.044 0. 0. 0. 0.


















Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 75 223 0 0 0 0
normalized size 1 1. 0.77 2.28 0. 0. 0. 0.
time (sec) N/A 0.059 0.101 1.743 0. 0. 0. 0.


















Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 76 210 0 0 0 0
normalized size 1 1. 0.78 2.16 0. 0. 0. 0.
time (sec) N/A 0.058 0.095 2.015 0. 0. 0. 0.


















Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 62 213 0 0 0 0
normalized size 1 1. 0.89 3.04 0. 0. 0. 0.
time (sec) N/A 0.033 0.059 1.883 0. 0. 0. 0.


















Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 59 190 0 0 0 0
normalized size 1 1. 0.82 2.64 0. 0. 0. 0.
time (sec) N/A 0.048 0.024 1.786 0. 0. 0. 0.


















Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 41 144 0 0 0 0
normalized size 1 1. 1. 3.51 0. 0. 0. 0.
time (sec) N/A 0.039 0.015 1.441 0. 0. 0. 0.


















Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 38 144 0 0 0 0
normalized size 1 1. 0.93 3.51 0. 0. 0. 0.
time (sec) N/A 0.038 0.044 1.421 0. 0. 0. 0.


















Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 50 168 0 0 0 0
normalized size 1 1. 0.74 2.47 0. 0. 0. 0.
time (sec) N/A 0.055 0.058 2.019 0. 0. 0. 0.


















Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 51 241 0 0 0 0
normalized size 1 1. 0.71 3.35 0. 0. 0. 0.
time (sec) N/A 0.056 0.07 1.871 0. 0. 0. 0.


















Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 69 366 0 0 0 0
normalized size 1 1. 0.69 3.66 0. 0. 0. 0.
time (sec) N/A 0.073 0.157 3.274 0. 0. 0. 0.


















Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 69 398 0 0 0 0
normalized size 1 1. 0.69 3.98 0. 0. 0. 0.
time (sec) N/A 0.074 0.178 1.819 0. 0. 0. 0.


















Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 128 128 79 414 0 0 0 0
normalized size 1 1. 0.62 3.23 0. 0. 0. 0.
time (sec) N/A 0.095 0.26 3.356 0. 0. 0. 0.


















Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 76 210 0 0 0 0
normalized size 1 1. 0.78 2.14 0. 0. 0. 0.
time (sec) N/A 0.051 0.021 1.878 0. 0. 0. 0.


















Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 125 125 73 233 0 0 0 0
normalized size 1 1. 0.58 1.86 0. 0. 0. 0.
time (sec) N/A 0.091 0.142 2.155 0. 0. 0. 0.


















Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 71 220 0 0 0 0
normalized size 1 1. 0.71 2.2 0. 0. 0. 0.
time (sec) N/A 0.059 0.123 1.894 0. 0. 0. 0.


















Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 63 207 0 0 0 0
normalized size 1 1. 0.65 2.13 0. 0. 0. 0.
time (sec) N/A 0.062 0.105 1.7 0. 0. 0. 0.


















Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 58 210 0 0 0 0
normalized size 1 1. 0.81 2.92 0. 0. 0. 0.
time (sec) N/A 0.039 0.056 1.682 0. 0. 0. 0.


















Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 51 187 0 0 0 0
normalized size 1 1. 0.74 2.71 0. 0. 0. 0.
time (sec) N/A 0.039 0.045 1.863 0. 0. 0. 0.


















Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 41 141 0 0 0 0
normalized size 1 1. 1. 3.44 0. 0. 0. 0.
time (sec) N/A 0.023 0.015 1.409 0. 0. 0. 0.


















Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 38 54 0 0 0 0
normalized size 1 1. 1. 1.42 0. 0. 0. 0.
time (sec) N/A 0.019 0.015 0.2 0. 0. 0. 0.


















Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 47 165 0 0 0 0
normalized size 1 1. 0.72 2.54 0. 0. 0. 0.
time (sec) N/A 0.044 0.043 2.019 0. 0. 0. 0.


















Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 48 238 0 0 0 0
normalized size 1 1. 0.72 3.55 0. 0. 0. 0.
time (sec) N/A 0.051 0.064 1.994 0. 0. 0. 0.


















Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 65 366 0 0 0 0
normalized size 1 1. 0.67 3.77 0. 0. 0. 0.
time (sec) N/A 0.073 0.098 3.485 0. 0. 0. 0.


















Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 63 395 0 0 0 0
normalized size 1 1. 0.66 4.16 0. 0. 0. 0.
time (sec) N/A 0.072 0.144 1.967 0. 0. 0. 0.


















Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 125 125 77 411 0 0 0 0
normalized size 1 1. 0.62 3.29 0. 0. 0. 0.
time (sec) N/A 0.094 0.315 3.677 0. 0. 0. 0.


















Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 128 128 76 236 0 0 0 0
normalized size 1 1. 0.59 1.84 0. 0. 0. 0.
time (sec) N/A 0.083 0.115 2.177 0. 0. 0. 0.


















Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 74 223 0 0 0 0
normalized size 1 1. 0.74 2.23 0. 0. 0. 0.
time (sec) N/A 0.058 0.113 1.93 0. 0. 0. 0.


















Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 66 210 0 0 0 0
normalized size 1 1. 0.66 2.1 0. 0. 0. 0.
time (sec) N/A 0.06 0.082 1.99 0. 0. 0. 0.


















Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 61 213 0 0 0 0
normalized size 1 1. 0.85 2.96 0. 0. 0. 0.
time (sec) N/A 0.04 0.052 2.039 0. 0. 0. 0.


















Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 54 190 0 0 0 0
normalized size 1 1. 0.75 2.64 0. 0. 0. 0.
time (sec) N/A 0.041 0.042 1.93 0. 0. 0. 0.


















Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 41 144 0 0 0 0
normalized size 1 1. 1. 3.51 0. 0. 0. 0.
time (sec) N/A 0.023 0.023 1.325 0. 0. 0. 0.


















Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 41 144 0 0 0 0
normalized size 1 1. 1. 3.51 0. 0. 0. 0.
time (sec) N/A 0.024 0.02 1.46 0. 0. 0. 0.


















Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 50 168 0 0 0 0
normalized size 1 1. 0.74 2.47 0. 0. 0. 0.
time (sec) N/A 0.034 0.028 1.992 0. 0. 0. 0.


















Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 51 241 0 0 0 0
normalized size 1 1. 0.74 3.49 0. 0. 0. 0.
time (sec) N/A 0.048 0.026 1.894 0. 0. 0. 0.


















Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 68 366 0 0 0 0
normalized size 1 1. 0.69 3.73 0. 0. 0. 0.
time (sec) N/A 0.076 0.081 3.25 0. 0. 0. 0.


















Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 66 398 0 0 0 0
normalized size 1 1. 0.68 4.1 0. 0. 0. 0.
time (sec) N/A 0.075 0.089 2.064 0. 0. 0. 0.


















Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 126 80 414 0 0 0 0
normalized size 1 1. 0.63 3.29 0. 0. 0. 0.
time (sec) N/A 0.096 0.181 3.647 0. 0. 0. 0.


















Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 128 128 76 236 0 0 0 0
normalized size 1 1. 0.59 1.84 0. 0. 0. 0.
time (sec) N/A 0.082 0.114 2.044 0. 0. 0. 0.


















Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 74 223 0 0 0 0
normalized size 1 1. 0.74 2.23 0. 0. 0. 0.
time (sec) N/A 0.06 0.098 2.151 0. 0. 0. 0.


















Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 66 210 0 0 0 0
normalized size 1 1. 0.66 2.1 0. 0. 0. 0.
time (sec) N/A 0.06 0.054 2.086 0. 0. 0. 0.


















Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 61 213 0 0 0 0
normalized size 1 1. 0.85 2.96 0. 0. 0. 0.
time (sec) N/A 0.04 0.045 2.027 0. 0. 0. 0.


















Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 54 190 0 0 0 0
normalized size 1 1. 0.75 2.64 0. 0. 0. 0.
time (sec) N/A 0.041 0.043 1.984 0. 0. 0. 0.


















Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 41 144 0 0 0 0
normalized size 1 1. 1. 3.51 0. 0. 0. 0.
time (sec) N/A 0.023 0.015 1.608 0. 0. 0. 0.


















Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 38 144 0 0 0 0
normalized size 1 1. 0.93 3.51 0. 0. 0. 0.
time (sec) N/A 0.026 0.059 1.586 0. 0. 0. 0.


















Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 50 168 0 0 0 0
normalized size 1 1. 0.74 2.47 0. 0. 0. 0.
time (sec) N/A 0.042 0.038 2.231 0. 0. 0. 0.


















Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 51 241 0 0 0 0
normalized size 1 1. 0.71 3.35 0. 0. 0. 0.
time (sec) N/A 0.035 0.018 1.909 0. 0. 0. 0.


















Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 68 366 0 0 0 0
normalized size 1 1. 0.7 3.77 0. 0. 0. 0.
time (sec) N/A 0.07 0.06 3.269 0. 0. 0. 0.


















Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 66 398 0 0 0 0
normalized size 1 1. 0.67 4.06 0. 0. 0. 0.
time (sec) N/A 0.079 0.071 1.937 0. 0. 0. 0.


















Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 125 125 80 414 0 0 0 0
normalized size 1 1. 0.64 3.31 0. 0. 0. 0.
time (sec) N/A 0.098 0.089 3.252 0. 0. 0. 0.


















Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 68 366 0 0 0 0
normalized size 1 1. 0.68 3.66 0. 0. 0. 0.
time (sec) N/A 0.053 0.018 3.435 0. 0. 0. 0.


















Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 55 62 66 495 0 0
normalized size 1 1. 0.56 0.63 0.67 5.05 0. 0.
time (sec) N/A 0.027 0.095 0.316 1.818 1.938 0. 0.


















Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 45 40 57 112 0 0
normalized size 1 1. 0.64 0.57 0.81 1.6 0. 0.
time (sec) N/A 0.017 0.089 0.283 1.828 1.707 0. 0.


















Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 45 42 34 427 0 0
normalized size 1 1. 0.71 0.67 0.54 6.78 0. 0.
time (sec) N/A 0.014 0.055 0.273 1.851 1.899 0. 0.


















Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 29 18 78 29 42
normalized size 1 1. 1. 0.91 0.56 2.44 0.91 1.31
time (sec) N/A 0.007 0.028 0.269 1.78 1.612 20.833 3.377


















Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 24 28 35 265 5 0
normalized size 1 1. 1. 1.17 1.46 11.04 0.21 0.
time (sec) N/A 0.003 0.011 0.188 1.542 1.866 3.874 0.


















Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 33 42 88 311 0 0
normalized size 1 1. 1. 1.27 2.67 9.42 0. 0.
time (sec) N/A 0.008 0.012 0.268 1.822 1.841 0. 0.


















Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 29 73 78 0 0
normalized size 1 1. 1. 0.91 2.28 2.44 0. 0.
time (sec) N/A 0.012 0.021 0.271 1.765 1.625 0. 0.


















Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 52 104 892 559 0 0
normalized size 1 1. 0.72 1.44 12.39 7.76 0. 0.
time (sec) N/A 0.021 0.047 0.289 1.838 1.885 0. 0.


















Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 45 42 397 115 0 0
normalized size 1 1. 0.64 0.6 5.67 1.64 0. 0.
time (sec) N/A 0.018 0.085 0.269 1.84 1.639 0. 0.


















Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 66 121 2236 628 0 0
normalized size 1 1. 0.62 1.13 20.9 5.87 0. 0.
time (sec) N/A 0.036 0.106 0.306 2.08 1.924 0. 0.


















Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 55 62 72 509 0 0
normalized size 1 1. 0.54 0.61 0.71 5.04 0. 0.
time (sec) N/A 0.029 0.089 0.184 1.827 1.933 0. 0.


















Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 45 40 61 117 0 0
normalized size 1 1. 0.62 0.56 0.85 1.62 0. 0.
time (sec) N/A 0.018 0.117 0.175 1.815 1.679 0. 0.


















Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 45 42 38 435 0 0
normalized size 1 1. 0.69 0.65 0.58 6.69 0. 0.
time (sec) N/A 0.015 0.055 0.25 1.787 1.95 0. 0.


















Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 32 29 18 81 0 0
normalized size 1 1. 0.97 0.88 0.55 2.45 0. 0.
time (sec) N/A 0.007 0.044 0.224 1.77 1.589 0. 0.


















Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 24 28 35 267 0 0
normalized size 1 1. 0.96 1.12 1.4 10.68 0. 0.
time (sec) N/A 0.003 0.016 0.145 1.544 1.879 0. 0.


















Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 33 42 92 313 0 0
normalized size 1 1. 0.97 1.24 2.71 9.21 0. 0.
time (sec) N/A 0.008 0.016 0.162 1.827 1.936 0. 0.


















Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 32 0 73 81 0 0
normalized size 1 1. 0.97 0. 2.21 2.45 0. 0.
time (sec) N/A 0.012 0.023 180. 1.806 1.612 0. 0.


















Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 52 104 933 567 0 0
normalized size 1 1. 0.7 1.41 12.61 7.66 0. 0.
time (sec) N/A 0.021 0.054 0.17 1.889 1.932 0. 0.


















Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 45 42 404 117 0 0
normalized size 1 1. 0.62 0.58 5.61 1.62 0. 0.
time (sec) N/A 0.018 0.06 0.165 1.829 1.609 0. 0.


















Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 67 121 2352 641 0 0
normalized size 1 1. 0.61 1.1 21.38 5.83 0. 0.
time (sec) N/A 0.039 0.089 0.195 2.197 2.155 0. 0.


















Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 57 52 104 158 0 0
normalized size 1 1. 0.49 0.45 0.9 1.36 0. 0.
time (sec) N/A 0.026 0.125 0.169 1.867 1.976 0. 0.


















Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 55 62 80 522 0 0
normalized size 1 1. 0.51 0.58 0.75 4.88 0. 0.
time (sec) N/A 0.03 0.085 0.175 1.833 2.295 0. 0.


















Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 45 40 66 123 0 0
normalized size 1 1. 0.59 0.53 0.87 1.62 0. 0.
time (sec) N/A 0.018 0.144 0.243 1.816 1.987 0. 0.


















Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 45 42 43 443 0 0
normalized size 1 1. 0.65 0.61 0.62 6.42 0. 0.
time (sec) N/A 0.016 0.072 0.234 1.829 2.193 0. 0.


















Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 32 29 18 84 0 0
normalized size 1 1. 0.91 0.83 0.51 2.4 0. 0.
time (sec) N/A 0.008 0.053 0.154 1.77 1.864 0. 0.


















Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 24 28 35 270 0 0
normalized size 1 1. 0.89 1.04 1.3 10. 0. 0.
time (sec) N/A 0.003 0.012 0.131 1.538 2.151 0. 0.


















Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 33 42 97 316 0 0
normalized size 1 1. 0.92 1.17 2.69 8.78 0. 0.
time (sec) N/A 0.009 0.022 0.145 1.845 2.121 0. 0.


















Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 32 29 73 84 0 0
normalized size 1 1. 0.91 0.83 2.09 2.4 0. 0.
time (sec) N/A 0.012 0.02 0.154 1.795 1.933 0. 0.


















Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 52 104 1008 575 0 0
normalized size 1 1. 0.67 1.33 12.92 7.37 0. 0.
time (sec) N/A 0.021 0.06 0.162 1.851 2.183 0. 0.


















Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 45 42 420 123 0 0
normalized size 1 1. 0.59 0.55 5.53 1.62 0. 0.
time (sec) N/A 0.019 0.059 0.159 1.88 1.852 0. 0.


















Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 66 121 2584 655 0 0
normalized size 1 1. 0.57 1.04 22.28 5.65 0. 0.
time (sec) N/A 0.036 0.116 0.192 2.219 2.198 0. 0.


















Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 57 52 92 144 0 0
normalized size 1 1. 0.53 0.49 0.86 1.35 0. 0.
time (sec) N/A 0.024 0.114 0.247 1.941 2.016 0. 0.


















Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 55 62 66 506 0 0
normalized size 1 1. 0.56 0.63 0.67 5.16 0. 0.
time (sec) N/A 0.027 0.074 0.257 1.825 2.291 0. 0.


















Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 45 40 57 115 0 0
normalized size 1 1. 0.64 0.57 0.81 1.64 0. 0.
time (sec) N/A 0.017 0.081 0.257 1.774 1.949 0. 0.


















Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 45 42 34 437 0 0
normalized size 1 1. 0.71 0.67 0.54 6.94 0. 0.
time (sec) N/A 0.015 0.054 0.244 1.766 2.25 0. 0.


















Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 29 18 81 0 0
normalized size 1 1. 1. 0.91 0.56 2.53 0. 0.
time (sec) N/A 0.007 0.031 0.246 1.785 1.824 0. 0.


















Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 24 28 35 274 5 0
normalized size 1 1. 1. 1.17 1.46 11.42 0.21 0.
time (sec) N/A 0.003 0.011 0.168 1.568 2.251 3.721 0.


















Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 33 42 88 319 0 0
normalized size 1 1. 1. 1.27 2.67 9.67 0. 0.
time (sec) N/A 0.007 0.012 0.229 1.815 2.124 0. 0.


















Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 29 80 81 0 0
normalized size 1 1. 1. 0.91 2.5 2.53 0. 0.
time (sec) N/A 0.012 0.023 0.238 1.769 1.818 0. 0.


















Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 52 104 892 564 0 0
normalized size 1 1. 0.72 1.44 12.39 7.83 0. 0.
time (sec) N/A 0.022 0.036 0.25 1.826 2.128 0. 0.


















Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 45 42 397 117 0 0
normalized size 1 1. 0.64 0.6 5.67 1.67 0. 0.
time (sec) N/A 0.018 0.076 0.251 1.817 1.904 0. 0.


















Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 66 121 2236 633 0 0
normalized size 1 1. 0.62 1.13 20.9 5.92 0. 0.
time (sec) N/A 0.035 0.079 0.282 1.89 2.235 0. 0.


















Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 55 62 66 512 0 0
normalized size 1 1. 0.51 0.58 0.62 4.79 0. 0.
time (sec) N/A 0.029 0.084 0.178 1.865 2.32 0. 0.


















Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 45 40 57 117 0 0
normalized size 1 1. 0.59 0.53 0.75 1.54 0. 0.
time (sec) N/A 0.019 0.067 0.157 1.817 1.899 0. 0.


















Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 45 42 34 443 0 0
normalized size 1 1. 0.65 0.61 0.49 6.42 0. 0.
time (sec) N/A 0.016 0.039 0.161 1.786 2.265 0. 0.


















Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 32 29 18 84 0 0
normalized size 1 1. 0.91 0.83 0.51 2.4 0. 0.
time (sec) N/A 0.007 0.041 0.158 1.746 1.832 0. 0.


















Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 24 28 35 277 0 0
normalized size 1 1. 0.89 1.04 1.3 10.26 0. 0.
time (sec) N/A 0.003 0.016 0.145 1.556 2.246 0. 0.


















Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 33 42 88 321 0 0
normalized size 1 1. 0.92 1.17 2.44 8.92 0. 0.
time (sec) N/A 0.008 0.013 0.23 1.786 2.192 0. 0.


















Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 32 29 90 84 0 0
normalized size 1 1. 0.91 0.83 2.57 2.4 0. 0.
time (sec) N/A 0.013 0.015 0.233 1.763 1.859 0. 0.


















Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 52 104 905 570 0 0
normalized size 1 1. 0.67 1.33 11.6 7.31 0. 0.
time (sec) N/A 0.022 0.037 0.167 1.851 2.295 0. 0.


















Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 45 42 420 120 0 0
normalized size 1 1. 0.59 0.55 5.53 1.58 0. 0.
time (sec) N/A 0.019 0.026 0.158 1.805 1.958 0. 0.


















Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 66 121 2267 639 0 0
normalized size 1 1. 0.57 1.04 19.54 5.51 0. 0.
time (sec) N/A 0.037 0.055 0.191 1.914 2.39 0. 0.


















Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 58 62 66 512 0 0
normalized size 1 1. 0.54 0.58 0.62 4.79 0. 0.
time (sec) N/A 0.028 0.088 0.178 1.812 2.662 0. 0.


















Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 48 40 57 117 0 0
normalized size 1 1. 0.63 0.53 0.75 1.54 0. 0.
time (sec) N/A 0.018 0.065 0.155 1.825 2.208 0. 0.


















Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 48 42 34 443 0 0
normalized size 1 1. 0.7 0.61 0.49 6.42 0. 0.
time (sec) N/A 0.015 0.044 0.158 1.779 2.394 0. 0.


















Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 35 29 18 84 0 0
normalized size 1 1. 1. 0.83 0.51 2.4 0. 0.
time (sec) N/A 0.007 0.026 0.152 1.792 1.682 0. 0.


















Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 24 28 35 277 0 0
normalized size 1 1. 0.89 1.04 1.3 10.26 0. 0.
time (sec) N/A 0.003 0.012 0.136 1.579 1.855 0. 0.


















Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 33 42 88 321 0 0
normalized size 1 1. 0.92 1.17 2.44 8.92 0. 0.
time (sec) N/A 0.008 0.025 0.157 1.791 1.85 0. 0.


















Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 32 29 90 84 0 0
normalized size 1 1. 0.91 0.83 2.57 2.4 0. 0.
time (sec) N/A 0.013 0.017 0.237 1.742 1.666 0. 0.


















Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 55 102 929 570 0 0
normalized size 1 1. 0.71 1.31 11.91 7.31 0. 0.
time (sec) N/A 0.022 0.046 0.245 1.861 1.919 0. 0.


















Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 45 42 463 120 0 0
normalized size 1 1. 0.59 0.55 6.09 1.58 0. 0.
time (sec) N/A 0.018 0.028 0.161 1.876 1.662 0. 0.


















Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 66 121 2334 639 0 0
normalized size 1 1. 0.57 1.04 20.12 5.51 0. 0.
time (sec) N/A 0.037 0.066 0.191 1.925 1.986 0. 0.


















Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 82 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.026 0.108 0.141 0. 0. 0. 0.


















Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 63 0 0 0 0 0
normalized size 1 1. 1.09 0. 0. 0. 0. 0.
time (sec) N/A 0.02 0.062 0.213 0. 0. 0. 0.


















Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.02 0.053 0.146 0. 0. 0. 0.


















Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 55 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.014 0.036 0.232 0. 0. 0. 0.


















Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 54 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.024 0.048 0.181 0. 0. 0. 0.


















Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 56 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.031 0.059 0.147 0. 0. 0. 0.


















Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 63 0 0 0 0 0
normalized size 1 1. 1.09 0. 0. 0. 0. 0.
time (sec) N/A 0.032 0.048 0.161 0. 0. 0. 0.


















Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 82 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.028 0.117 0.135 0. 0. 0. 0.


















Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 63 0 0 0 0 0
normalized size 1 1. 1.09 0. 0. 0. 0. 0.
time (sec) N/A 0.02 0.061 0.177 0. 0. 0. 0.


















Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.02 0.054 0.131 0. 0. 0. 0.


















Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 55 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.014 0.037 0.198 0. 0. 0. 0.


















Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 56 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.046 0.177 0. 0. 0. 0.


















Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 54 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.036 0.059 0.143 0. 0. 0. 0.


















Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 63 0 0 0 0 0
normalized size 1 1. 1.09 0. 0. 0. 0. 0.
time (sec) N/A 0.036 0.043 0.154 0. 0. 0. 0.


















Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 82 0 0 0 0 0
normalized size 1 1. 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.026 0.178 0.139 0. 0. 0. 0.


















Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 63 0 0 0 0 0
normalized size 1 1. 1.09 0. 0. 0. 0. 0.
time (sec) N/A 0.02 0.08 0.177 0. 0. 0. 0.


















Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.02 0.074 0.13 0. 0. 0. 0.


















Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 55 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.014 0.003 0.118 0. 0. 0. 0.


















Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 56 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.025 0.023 0.157 0. 0. 0. 0.


















Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 56 0 0 0 0 0
normalized size 1 1. 1.04 0. 0. 0. 0. 0.
time (sec) N/A 0.036 0.028 0.182 0. 0. 0. 0.


















Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.037 0.061 0.155 0. 0. 0. 0.


















Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 82 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.026 0.115 0.137 0. 0. 0. 0.


















Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 63 0 0 0 0 0
normalized size 1 1. 1.09 0. 0. 0. 0. 0.
time (sec) N/A 0.02 0.076 0.165 0. 0. 0. 0.


















Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.02 0.005 0.177 0. 0. 0. 0.


















Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 55 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.014 0.003 0.171 0. 0. 0. 0.


















Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 54 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.026 0.049 0.144 0. 0. 0. 0.


















Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 58 0 0 0 0 0
normalized size 1 1. 1.04 0. 0. 0. 0. 0.
time (sec) N/A 0.034 0.056 0.148 0. 0. 0. 0.


















Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.032 0.109 0.157 0. 0. 0. 0.


















Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 82 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.025 0.113 0.138 0. 0. 0. 0.


















Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 63 0 0 0 0 0
normalized size 1 1. 1.09 0. 0. 0. 0. 0.
time (sec) N/A 0.02 0.076 0.16 0. 0. 0. 0.


















Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.02 0.02 0.161 0. 0. 0. 0.


















Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 53 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.015 0.023 0.146 0. 0. 0. 0.


















Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 56 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.026 0.048 0.135 0. 0. 0. 0.


















Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 58 0 0 0 0 0
normalized size 1 1. 1.04 0. 0. 0. 0. 0.
time (sec) N/A 0.037 0.058 0.142 0. 0. 0. 0.


















Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.045 0.103 0.152 0. 0. 0. 0.


















Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 82 0 0 0 0 0
normalized size 1 1. 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.031 0.11 0.129 0. 0. 0. 0.


















Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.021 0.023 0.197 0. 0. 0. 0.


















Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.021 0.008 0.171 0. 0. 0. 0.


















Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 53 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.016 0.022 0.111 0. 0. 0. 0.


















Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 56 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.013 0.135 0. 0. 0. 0.


















Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 58 0 0 0 0 0
normalized size 1 1. 1.04 0. 0. 0. 0. 0.
time (sec) N/A 0.059 0.063 0.145 0. 0. 0. 0.


















Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.042 0.11 0.155 0. 0. 0. 0.


















Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 77 0 0 0 0 0
normalized size 1 1. 0.94 0. 0. 0. 0. 0.
time (sec) N/A 0.034 0.085 1.096 0. 0. 0. 0.


















Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 72 0 0 0 0 0
normalized size 1 1. 1.04 0. 0. 0. 0. 0.
time (sec) N/A 0.033 0.078 1.323 0. 0. 0. 0.


















Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 70 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.049 0.054 1.167 0. 0. 0. 0.


















Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 64 0 0 0 0 0
normalized size 1 1. 0.93 0. 0. 0. 0. 0.
time (sec) N/A 0.024 0.042 0.398 0. 0. 0. 0.


















Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 63 0 0 0 0 0
normalized size 1 1. 1.05 0. 0. 0. 0. 0.
time (sec) N/A 0.03 0.056 0.711 0. 0. 0. 0.


















Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 67 0 0 0 0 0
normalized size 1 1. 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.045 0.065 0.658 0. 0. 0. 0.


















Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 70 0 0 0 0 0
normalized size 1 1. 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.042 0.047 0.769 0. 0. 0. 0.


















Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 72 0 0 0 0 0
normalized size 1 1. 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.042 0.056 0.57 0. 0. 0. 0.


















Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 80 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.14 0.241 0. 0. 0. 0.


















Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 80 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.028 0.119 0.223 0. 0. 0. 0.


















Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 80 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.093 0.241 0. 0. 0. 0.


















Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 80 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.059 0.22 0. 0. 0. 0.


















Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 80 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.029 0.082 0.218 0. 0. 0. 0.


















Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 80 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.028 0.087 0.232 0. 0. 0. 0.


















Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 80 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.028 0.088 0.229 0. 0. 0. 0.


















Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 80 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.029 0.09 0.227 0. 0. 0. 0.


















Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 89 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.07 10.494 1.065 0. 0. 0. 0.


















Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 14 18 32 0 27
normalized size 1 1. 1. 0.93 1.2 2.13 0. 1.8
time (sec) N/A 0.025 0.021 0.042 0.938 1.107 0. 1.142


















Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 14 18 68 0 43
normalized size 1 1. 1. 0.82 1.06 4. 0. 2.53
time (sec) N/A 0.025 0.024 0.029 0.943 1.097 0. 1.31


















Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 53 88 0 0 0 0
normalized size 1 1. 0.79 1.31 0. 0. 0. 0.
time (sec) N/A 0.051 0.101 1.098 0. 0. 0. 0.


















Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 61 142 0 0 0 0
normalized size 1 1. 0.91 2.12 0. 0. 0. 0.
time (sec) N/A 0.048 0.139 1.122 0. 0. 0. 0.


















Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 18 14 18 72 0 23
normalized size 1 1. 0.86 0.67 0.86 3.43 0. 1.1
time (sec) N/A 0.024 0.025 0.51 0.963 1.022 0. 1.131


















Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 27 26 34 63 0 42
normalized size 1 1. 0.82 0.79 1.03 1.91 0. 1.27
time (sec) N/A 0.033 0.058 0.565 0.957 1.071 0. 1.183


















Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 29 26 34 95 0 34
normalized size 1 1. 0.83 0.74 0.97 2.71 0. 0.97
time (sec) N/A 0.033 0.064 0.53 0.998 1.107 0. 1.253


















Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 63 100 0 0 0 0
normalized size 1 1. 0.68 1.09 0. 0. 0. 0.
time (sec) N/A 0.08 0.147 1.016 0. 0. 0. 0.


















Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 63 152 0 0 0 0
normalized size 1 1. 0.68 1.65 0. 0. 0. 0.
time (sec) N/A 0.079 0.412 1.095 0. 0. 0. 0.


















Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 10 10 10 7 8 26 0 8
normalized size 1 1. 1. 0.7 0.8 2.6 0. 0.8
time (sec) N/A 0.017 0.008 0.026 0.963 1.041 0. 1.149


















Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 47 28 55 274 0 66
normalized size 1 1. 1.47 0.88 1.72 8.56 0. 2.06
time (sec) N/A 0.028 0.026 0.471 1.507 1.279 0. 1.207


















Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 50 48 55 275 0 0
normalized size 1 1. 1.61 1.55 1.77 8.87 0. 0.
time (sec) N/A 0.029 0.034 1.172 1.487 1.315 0. 0.


















Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 49 123 0 0 0 0
normalized size 1 1. 0.8 2.02 0. 0. 0. 0.
time (sec) N/A 0.048 0.148 1.664 0. 0. 0. 0.


















Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 54 177 0 0 0 0
normalized size 1 1. 0.87 2.85 0. 0. 0. 0.
time (sec) N/A 0.048 0.148 1.586 0. 0. 0. 0.


















Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 73 73 88 373 0 99
normalized size 1 1. 1.18 1.18 1.42 6.02 0. 1.6
time (sec) N/A 0.053 0.114 1.51 1.441 1.292 0. 1.262


















Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 33 71 85 400 0 0
normalized size 1 1. 0.53 1.15 1.37 6.45 0. 0.
time (sec) N/A 0.046 0.031 1.461 1.455 1.303 0. 0.


















Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 64 168 0 0 0 0
normalized size 1 1. 0.7 1.83 0. 0. 0. 0.
time (sec) N/A 0.081 0.378 1.954 0. 0. 0. 0.


















Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 76 160 0 0 0 0
normalized size 1 1. 0.83 1.74 0. 0. 0. 0.
time (sec) N/A 0.08 0.242 2.687 0. 0. 0. 0.


















Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 105 0 0 0 0 0
normalized size 1 1. 1.38 0. 0. 0. 0. 0.
time (sec) N/A 0.105 0.641 0.279 0. 0. 0. 0.


















Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 70 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.092 0.171 0.31 0. 0. 0. 0.


















Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 68 0 0 0 0 0
normalized size 1 1. 0.89 0. 0. 0. 0. 0.
time (sec) N/A 0.097 0.216 0.299 0. 0. 0. 0.


















Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 68 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.111 0.274 0.283 0. 0. 0. 0.


















Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 70 0 0 0 0 0
normalized size 1 1. 0.9 0. 0. 0. 0. 0.
time (sec) N/A 0.11 0.286 0.286 0. 0. 0. 0.


















Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 85 85 312 0 0 0 0 0
normalized size 1 1. 3.67 0. 0. 0. 0. 0.
time (sec) N/A 0.083 1.885 0.927 0. 0. 0. 0.


















Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 88 88 314 0 0 0 0 0
normalized size 1 1. 3.57 0. 0. 0. 0. 0.
time (sec) N/A 0.091 0.3 1.004 0. 0. 0. 0.


















Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 88 88 314 0 0 0 0 0
normalized size 1 1. 3.57 0. 0. 0. 0. 0.
time (sec) N/A 0.092 0.271 0.98 0. 0. 0. 0.


















Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 91 91 316 0 0 0 0 0
normalized size 1 1. 3.47 0. 0. 0. 0. 0.
time (sec) N/A 0.099 0.275 1.109 0. 0. 0. 0.


















Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 76 94 0 0 0 0 0
normalized size 1 0.97 1.21 0. 0. 0. 0. 0.
time (sec) N/A 0.118 7.907 0.361 0. 0. 0. 0.


















Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 94 0 0 0 0 0
normalized size 1 1. 1.24 0. 0. 0. 0. 0.
time (sec) N/A 0.116 2.451 0.333 0. 0. 0. 0.


















Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 94 0 0 0 0 0
normalized size 1 1. 1.24 0. 0. 0. 0. 0.
time (sec) N/A 0.112 1.257 0.33 0. 0. 0. 0.


















Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 96 0 0 0 0 0
normalized size 1 1. 1.23 0. 0. 0. 0. 0.
time (sec) N/A 0.098 1.08 0.374 0. 0. 0. 0.


















Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 78 78 225 0 0 0 0 0
normalized size 1 1. 2.88 0. 0. 0. 0. 0.
time (sec) N/A 0.098 1.714 0.365 0. 0. 0. 0.


















Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 116 0 0 0 0 0
normalized size 1 1. 1.49 0. 0. 0. 0. 0.
time (sec) N/A 0.112 6.77 0.309 0. 0. 0. 0.


















Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 125 0 0 0 0 0
normalized size 1 1. 1.6 0. 0. 0. 0. 0.
time (sec) N/A 0.111 1.114 0.318 0. 0. 0. 0.









2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [275] had the largest ratio of [ 0.3158 ]

Table 2.1Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)







1 A 1 1 1. 6 0.167







2 A 2 2 1. 8 0.25







3 A 2 1 1. 8 0.125







4 A 3 2 1. 8 0.25







5 A 2 1 1. 8 0.125







6 A 4 2 1. 8 0.25







7 A 2 1 1. 8 0.125







8 A 5 2 1. 8 0.25







9 A 3 2 1. 10 0.2







10 A 2 2 1. 10 0.2







11 A 2 2 1. 10 0.2







12 A 1 1 1. 10 0.1







13 A 1 1 1. 10 0.1







14 A 2 2 1. 10 0.2







15 A 2 2 1. 10 0.2







16 A 3 2 1. 10 0.2







17 A 4 3 1. 12 0.25







18 A 3 3 1. 12 0.25







19 A 3 3 1. 12 0.25







20 A 2 2 1. 12 0.167







21 A 2 2 1. 12 0.167







22 A 3 3 1. 12 0.25







23 A 3 3 1. 12 0.25







24 A 4 3 1. 12 0.25







25 A 1 1 1. 10 0.1







26 A 1 1 1. 10 0.1







27 A 1 1 1. 10 0.1







28 A 1 1 1. 10 0.1







29 A 1 1 1. 10 0.1







30 A 1 1 1. 10 0.1







31 A 1 1 1. 12 0.083







32 A 1 1 1. 12 0.083







33 A 1 1 1. 12 0.083







34 A 1 1 1. 12 0.083







35 A 1 1 1. 12 0.083







36 A 1 1 1. 12 0.083







37 A 1 1 1. 8 0.125







38 A 1 1 1. 10 0.1







39 A 4 3 1. 10 0.3







40 A 3 3 1. 10 0.3







41 A 2 2 1. 10 0.2







42 A 2 2 1. 10 0.2







43 A 3 3 1. 10 0.3







44 A 4 3 1. 10 0.3







45 A 6 3 1. 10 0.3







46 A 4 3 1. 10 0.3







47 A 3 3 1. 10 0.3







48 A 3 3 1. 10 0.3







49 A 4 3 1. 10 0.3







50 A 6 3 1. 10 0.3







51 A 7 3 1. 10 0.3







52 A 5 3 1. 10 0.3







53 A 3 3 1. 10 0.3







54 A 3 3 1. 10 0.3







55 A 3 2 1. 10 0.2







56 A 3 2 1. 10 0.2







57 A 2 2 1. 12 0.167







58 A 2 2 1. 14 0.143







59 A 2 2 1. 14 0.143







60 A 2 2 1. 14 0.143







61 A 2 2 1. 14 0.143







62 A 2 2 1. 14 0.143







63 A 2 2 1. 14 0.143







64 A 2 2 1. 14 0.143







65 A 2 2 1. 14 0.143







66 A 6 4 1. 21 0.19







67 A 5 4 1. 21 0.19







68 A 5 4 1. 21 0.19







69 A 4 4 1. 21 0.19







70 A 4 4 1. 19 0.21







71 A 2 2 1. 12 0.167







72 A 3 3 1. 19 0.158







73 A 4 4 1. 21 0.19







74 A 4 4 1. 21 0.19







75 A 5 4 1. 21 0.19







76 A 5 4 1. 21 0.19







77 A 6 4 1. 21 0.19







78 A 6 4 1. 21 0.19







79 A 5 4 1. 21 0.19







80 A 5 4 1. 21 0.19







81 A 4 4 1. 19 0.21







82 A 3 3 1. 12 0.25







83 A 3 3 1. 19 0.158







84 A 3 3 1. 21 0.143







85 A 4 4 1. 21 0.19







86 A 4 4 1. 21 0.19







87 A 5 4 1. 21 0.19







88 A 5 4 1. 21 0.19







89 A 6 4 1. 21 0.19







90 A 6 4 1. 21 0.19







91 A 5 4 1. 21 0.19







92 A 5 4 1. 19 0.21







93 A 3 3 1. 12 0.25







94 A 4 4 1. 19 0.21







95 A 3 3 1. 21 0.143







96 A 3 3 1. 21 0.143







97 A 4 4 1. 21 0.19







98 A 4 4 1. 21 0.19







99 A 5 4 1. 21 0.19







100 A 5 4 1. 21 0.19







101 A 6 4 1. 21 0.19







102 A 4 3 1. 12 0.25







103 A 6 4 1. 21 0.19







104 A 5 4 1. 21 0.19







105 A 5 4 1. 21 0.19







106 A 4 4 1. 21 0.19







107 A 4 4 1. 21 0.19







108 A 3 3 1. 19 0.158







109 A 2 2 1. 12 0.167







110 A 4 4 1. 19 0.21







111 A 4 4 1. 21 0.19







112 A 5 4 1. 21 0.19







113 A 5 4 1. 21 0.19







114 A 6 4 1. 21 0.19







115 A 6 4 1. 21 0.19







116 A 5 4 1. 21 0.19







117 A 5 4 1. 21 0.19







118 A 4 4 1. 21 0.19







119 A 4 4 1. 21 0.19







120 A 3 3 1. 21 0.143







121 A 3 3 1. 19 0.158







122 A 3 3 1. 12 0.25







123 A 4 4 1. 19 0.21







124 A 5 4 1. 21 0.19







125 A 5 4 1. 21 0.19







126 A 6 4 1. 21 0.19







127 A 6 4 1. 21 0.19







128 A 5 4 1. 21 0.19







129 A 5 4 1. 21 0.19







130 A 4 4 1. 21 0.19







131 A 4 4 1. 21 0.19







132 A 3 3 1. 21 0.143







133 A 3 3 1. 21 0.143







134 A 4 4 1. 19 0.21







135 A 3 3 1. 12 0.25







136 A 5 4 1. 19 0.21







137 A 5 4 1. 21 0.19







138 A 6 4 1. 21 0.19







139 A 4 3 1. 12 0.25







140 A 4 3 1. 23 0.13







141 A 3 2 1. 23 0.087







142 A 3 3 1. 23 0.13







143 A 2 2 1. 23 0.087







144 A 2 2 1. 23 0.087







145 A 2 2 1. 23 0.087







146 A 3 3 1. 23 0.13







147 A 3 3 1. 23 0.13







148 A 3 2 1. 23 0.087







149 A 4 3 1. 23 0.13







150 A 4 3 1. 23 0.13







151 A 3 2 1. 23 0.087







152 A 3 3 1. 23 0.13







153 A 2 2 1. 23 0.087







154 A 2 2 1. 23 0.087







155 A 2 2 1. 23 0.087







156 A 3 3 1. 23 0.13







157 A 3 3 1. 23 0.13







158 A 3 2 1. 23 0.087







159 A 4 3 1. 23 0.13







160 A 3 2 1. 23 0.087







161 A 4 3 1. 23 0.13







162 A 3 2 1. 23 0.087







163 A 3 3 1. 23 0.13







164 A 2 2 1. 23 0.087







165 A 2 2 1. 23 0.087







166 A 2 2 1. 23 0.087







167 A 3 3 1. 23 0.13







168 A 3 3 1. 23 0.13







169 A 3 2 1. 23 0.087







170 A 4 3 1. 23 0.13







171 A 3 2 1. 23 0.087







172 A 4 3 1. 23 0.13







173 A 3 2 1. 23 0.087







174 A 3 3 1. 23 0.13







175 A 2 2 1. 23 0.087







176 A 2 2 1. 23 0.087







177 A 2 2 1. 23 0.087







178 A 3 3 1. 23 0.13







179 A 3 3 1. 23 0.13







180 A 3 2 1. 23 0.087







181 A 4 3 1. 23 0.13







182 A 4 3 1. 23 0.13







183 A 3 2 1. 23 0.087







184 A 3 3 1. 23 0.13







185 A 2 2 1. 23 0.087







186 A 2 2 1. 23 0.087







187 A 2 2 1. 23 0.087







188 A 3 3 1. 23 0.13







189 A 3 3 1. 23 0.13







190 A 3 2 1. 23 0.087







191 A 4 3 1. 23 0.13







192 A 4 3 1. 23 0.13







193 A 3 2 1. 23 0.087







194 A 3 3 1. 23 0.13







195 A 2 2 1. 23 0.087







196 A 2 2 1. 23 0.087







197 A 2 2 1. 23 0.087







198 A 3 3 1. 23 0.13







199 A 3 3 1. 23 0.13







200 A 3 2 1. 23 0.087







201 A 4 3 1. 23 0.13







202 A 2 2 1. 21 0.095







203 A 2 2 1. 21 0.095







204 A 2 2 1. 19 0.105







205 A 1 1 1. 12 0.083







206 A 2 2 1. 19 0.105







207 A 2 2 1. 21 0.095







208 A 2 2 1. 21 0.095







209 A 2 2 1. 21 0.095







210 A 2 2 1. 21 0.095







211 A 2 2 1. 19 0.105







212 A 1 1 1. 12 0.083







213 A 2 2 1. 19 0.105







214 A 2 2 1. 21 0.095







215 A 2 2 1. 21 0.095







216 A 2 2 1. 21 0.095







217 A 2 2 1. 21 0.095







218 A 2 2 1. 19 0.105







219 A 1 1 1. 12 0.083







220 A 2 2 1. 19 0.105







221 A 2 2 1. 21 0.095







222 A 2 2 1. 21 0.095







223 A 2 2 1. 21 0.095







224 A 2 2 1. 21 0.095







225 A 2 2 1. 19 0.105







226 A 1 1 1. 12 0.083







227 A 2 2 1. 19 0.105







228 A 2 2 1. 21 0.095







229 A 2 2 1. 21 0.095







230 A 2 2 1. 21 0.095







231 A 2 2 1. 21 0.095







232 A 2 2 1. 19 0.105







233 A 1 1 1. 12 0.083







234 A 2 2 1. 19 0.105







235 A 2 2 1. 21 0.095







236 A 2 2 1. 21 0.095







237 A 2 2 1. 21 0.095







238 A 2 2 1. 21 0.095







239 A 2 2 1. 19 0.105







240 A 1 1 1. 12 0.083







241 A 2 2 1. 19 0.105







242 A 2 2 1. 21 0.095







243 A 2 2 1. 21 0.095







244 A 2 2 1. 21 0.095







245 A 2 2 1. 19 0.105







246 A 2 2 1. 17 0.118







247 A 1 1 1. 10 0.1







248 A 2 2 1. 17 0.118







249 A 2 2 1. 19 0.105







250 A 2 2 1. 19 0.105







251 A 2 2 1. 19 0.105







252 A 2 2 1. 21 0.095







253 A 2 2 1. 21 0.095







254 A 2 2 1. 21 0.095







255 A 2 2 1. 21 0.095







256 A 2 2 1. 21 0.095







257 A 2 2 1. 21 0.095







258 A 2 2 1. 21 0.095







259 A 2 2 1. 21 0.095







260 A 2 2 1. 21 0.095







261 A 2 2 1. 17 0.118







262 A 2 2 1. 17 0.118







263 A 3 3 1. 19 0.158







264 A 3 3 1. 19 0.158







265 A 3 2 1. 11 0.182







266 A 3 2 1. 19 0.105







267 A 3 2 1. 19 0.105







268 A 4 3 1. 19 0.158







269 A 4 3 1. 19 0.158







270 A 2 2 1. 9 0.222







271 A 5 5 1. 17 0.294







272 A 5 5 1. 17 0.294







273 A 3 3 1. 19 0.158







274 A 3 3 1. 19 0.158







275 A 6 6 1. 19 0.316







276 A 6 6 1. 19 0.316







277 A 4 3 1. 19 0.158







278 A 4 3 1. 19 0.158







279 A 2 2 1. 21 0.095







280 A 2 2 1. 21 0.095







281 A 2 2 1. 21 0.095







282 A 2 2 1. 21 0.095







283 A 2 2 1. 21 0.095







284 A 2 2 1. 17 0.118







285 A 2 2 1. 19 0.105







286 A 2 2 1. 19 0.105







287 A 2 2 1. 21 0.095







288 A 2 2 0.97 23 0.087







289 A 2 2 1. 23 0.087







290 A 2 2 1. 23 0.087







291 A 2 2 1. 23 0.087







292 A 2 2 1. 23 0.087







293 A 2 2 1. 23 0.087







294 A 2 2 1. 23 0.087